2023-12-15 10:22:17.AIbase.4.2k
Google DeepMind Uses Large Language Models to Solve Unresolved Mathematical Problems
Google DeepMind successfully cracked unresolved mathematical problems using large language models. The AI tool FunSearch discovered verifiable and valuable new information. FunSearch is a tool that can find solutions in the field of mathematics. By combining with a large language model Codey, FunSearch also successfully solved the bin packing problem.
